- вывода
- Математика: базовая система ввода, буфер системы ввода, система ввода, список ввода
Универсальный англо-русский словарь. Академик.ру. 2011.
вывода
Смотреть что такое "вывода" в других словарях:
ВЫВОДА ДЕРЕВО — способ записи выводов в исчислении, при к ром над каждым элементом Рпишутся те элементы вывода, из к рых Рполучен за одно применение вывода правила. Напр., имея вывод в к ром аксиомы, получается за одно применение правила из из из можно записать… … Математическая энциклопедия
ВЫВОДА ПРАВИЛО — способ порождения объектов, называемых заключением В. п., по множеству объектов, называемых посылками правила; формулирование В. п. играет решающую роль при описании исчислений (часто данное В. п. имеет смысл лишь в контексте данного исчисления) … Математическая энциклопедия
устройство вывода — 01.04.17 устройство вывода (сводный оригинал макет) [output device integrated artwork>]: Конечный элемент компьютеризированного оборудования, используемый для создания оригинала изображения для репродуцирования. Примечание Устройство вывода… … Словарь-справочник терминов нормативно-технической документации
Устройство вывода — Устройства вывода периферийные устройства, преобразующие результаты обработки цифровых машинных кодов в форму, удобную для восприятия человеком или пригодную для воздействия на исполнительные органы объекта управления. Содержание 1… … Википедия
ПРАВИЛО ВЫВОДА — определяет переход от посылок к следствиям; более точно устанавливает соответствие между некоторой совокупностью высказываний (формул), наз. посылками, и одним определ. высказыванием (формулой), наз. логич. следствием из этих посылок.… … Философская энциклопедия
Порт ввода-вывода — Не следует путать с Аппаратный порт. Эта статья содержит незавершённый перевод с иностранного языка. Вы можете помочь проекту, переведя её до конца. Если вы знаете, на каком языке написан фрагмент, укажите его в этом шаблоне. Ввод вывод через… … Википедия
Машина вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например:… … Википедия
Медаль «В память 10-летия вывода советских войск из Афганистана» (Белоруссия) — Медаль «В память 10 летия вывода советских войск из Афганистана» … Википедия
Машина логического вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например: «Адам является… … Википедия
Механизм вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например: «Адам является… … Википедия
Интерфейс (или сопряжение ввода - вывода) — Совокупность унифицированных конструктивных, логических, физических условий, которым должны удовлетворять технические средства, чтобы их можно было соединить и производить между ними обмен информацией. В соответствии с назначением в состав… … Словарь-справочник терминов нормативно-технической документации
